加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

数字中频接收机中的数字AGC的设计与实现

介绍了数字自动增益控制(AGC)技术在数字中频接收机中的实现方法’,提出了利用 DSP Builder模型库设计的一种实用的数字自动增益控制电路,所设计的电路在数字中频接收机系统内工作良好。该数字 AGC具有快速收敛、结构简单、性能稳定和成本低等特点。占用 Altera StratixⅡ FPGA 片上163个自适应逻辑单元(ALUTs)。     

大型相控阵雷达系统安全性综合评价

针对大型相控阵雷达系统安全性因素多、评价困难的特点，分析并建立了大型相控阵雷达系统安全评价指标体系。提出了一种基于改进模糊层次分析法、熵权法和拉格朗日算法确定综合权重的方法，并建立了雷达系统安全性模糊综合评价模型。以某型大型相控阵雷达系统的安全性评价为例，运用所提方法确定该雷达系统的安全性指标综合权重，并进行安全性综合评价。将该方法与传统AHP评价法进行对比分析，验证了该方法的科学性和合理性。     

窄带假设对GNSS天线阵抗干扰性能评估的影响分析

传统方法基于窄带假设条件下的模型对天线阵抗干扰性能进行评估,存在分析精度低的问题.新一代全球卫星导航信号带宽的增加使得宽带效应更为明显,影响将更为严重.因此,窄带假设所造成的影响需要重新审视.论文结合当前普遍采用的数字域加权处理方式,推导出天线阵处理频率响应的精确模型,得出阵列处理响应在频域上可表示为空域导向矢量与时间...     

国外火炮定位雷达的现状和发展趋势

主要描述了国外火炮定位雷达的研制现状,对美国研制的Firefinder系列雷达,俄罗斯研制的Zoopark-1雷达,英、法、德等国联合研制的COBRA雷达以及瑞典和挪威联合研制的AR THUR雷达等几种火炮定位雷达的特点、主要技术指标及市场销售情况做了简要的介绍,最后总结了国外火炮定位雷达的最新发展趋势。     

空间信息栅格体系与服务聚合技术

空间信息应用中存在的数据海量、分布异构、处理复杂、计算密集等问题制约了空间数据和信息的广泛共享和应用。空间信息栅格(SIG)以Grid和WebServices技术为核心,共享并汇集地理上分布的海量空间信息资源,实现动态整合与集成。在构建开放性SIG七层应用体系的基础上,重点研究SIG服务聚合技术,基于Petri网和图论提出了一种新的服务聚合流程模型(服务/资源网),同时构建了可扩展的服务动态选择模型(SISM),实现服务聚合过程中的动态服务选择。结合国家地质调查业务应用,通过地下水资源评价应用实例对SIG的实用性和有效性进行了验证。     

振动矩形机翼非线性绕流数值研究

发展了可用于模拟包含运动边界的非定常流动的数值方法。该方法采用非结构动网格技术并构造了一种MUSCL类型有限体积格式,求解考虑了动网格效应的三维非定常Euler方程。非结构网格的变形运动由弹簧近似技术实现。用上述方法计算了作正弦振动的矩形机翼非线性绕流,计算结果与实验结果吻合,得到了流体运动与固体运动耦合的非线性流动特性。计算表明,该数值方法具有较好的精度和可靠性,完全可用于气动弹性或其他流固耦合问题的数值模拟。     

基于网格技术的装备保障资源监控系统研究

研究了网格资源监控理论,介绍了端到端监控组件及LDAP协议。结合基于LDAP的资源监控模型,讨论了装备保障资源监控系统中监控对象的表示及系统的结构设计,并说明其工作机理。     

面阵CCD用于光场能量探测的研究

面阵CCD在光场能量探测领域具有较大的应用前景。讨论了影响CCD探测精度的特性参数,包括平均暗电流、光电响应非均匀性和非线性,设计了特性参数测试系统,给出的实验结果对CCD用于光能探测具有借鉴意义。     

坦克动力舱空气流动计算区域的网格生成

为了合理解决网格划分对坦克动力舱空气流动与传热三维数值计算效率和计算精度的影响,特提出动力舱空气流动计算区域的网格生成方法.对某型坦克动力舱的网格生成实例,显示了这种方法的实用性.